Sound-Proof Pressure Chamber

Weapon Chamber Pressure Measurement

Extensive testing, at pressure "'evels from 3U to 758 MPa (5,000 to 110,000 PSI) was done at Aberdeen Proving Ground to evaluate 15 different types of electrical pressure transducers used in large caliber weapons. When using a given tvoe of transducer, the ability to consistently distinguish dynamic pressure variations as small as 0.2% was demonstrated. Yet different models of pressure transduc...

Sound-Proof: Usable Two-Factor Authentication Based on Ambient Sound

Two-factor authentication protects online accounts even if passwords are leaked. Most users, however, prefer password-only authentication. One reason why twofactor authentication is so unpopular is the extra steps that the user must complete in order to log in. Currently deployed two-factor authentication mechanisms require the user to interact with his phone to, for example, copy a verificatio...

A Sound and Complete Proof System

Sound reasoning about unchecked exceptions: soundness proof

In this note we formalize a multithreaded Java-like programming language with unchecked exceptions, try-catch blocks, and synchronized blocks, as well as method contracts, object invariants, block invariants, thread-local objects, and parallel execution statements. We further formalize our verification condition generation-based modular static verification approach that verifies that the progra...

Sound Proof of Proximity of Knowledge

Public-key distance bounding schemes are needed to defeat relay attacks in payment systems. So far, only five such schemes exist, but fail to fully protect against malicious provers. In this paper, we solve this problem. We provide a full formalism to define the proof of proximity of knowledge (PoPoK). Protocols should succeed if and only if a prover holding a secret is within the proximity of ...